Computer Science and Engineering - PDFSEARCH.IO - Document Search Engine

Computer Science and Engineering
Results: 6228

#	Item
471	asecondmouse \| Reflections on social science, politics and education Seven reasons I probably can’t help you get my open source software running on your computer Add to Reading List Source URL: philipschrodt.parusanalytics.com Language: English - Date: 2016-02-22 16:54:33 Computing Software engineering Computer programming High-level programming languages Source code Free software Open-source software Software Programmer Python Open-source model Comment
472	Description Logics: OWL and DAML+OIL Phillip Lord, Robert D. Stevens, Carole A. Goble, and Ian Horrocks Department of Computer Science University of Manchester, Oxford Road, Manchester Add to Reading List Source URL: homepages.cs.ncl.ac.uk Language: English - Date: 2015-12-15 11:14:30 Knowledge representation Knowledge engineering Ontology Information science Semantic Web Computing Knowledge Web Ontology Language Description logic Semantic reasoner Class Gene ontology
473	Information Retrieval by Semantic Similarity Angelos Hliaoutakis1 , Giannis Varelas1 , Epimeneidis Voutsakis1 , Euripides G.M. Petrakis1? , and Evangelos Milios2 1 Dept. of Electronic and Computer Engineering Add to Reading List Source URL: www.intelligence.tuc.gr Language: English - Date: 2011-12-08 06:07:25 Information science Knowledge representation Information retrieval Computational linguistics Information Technical communication Knowledge engineering Semantic similarity WordNet Vector space model Ontology Upper ontology
474	2015 IEEE Symposium on Security and Privacy TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits Ebrahim M. Songhori∗ , Siam U. Hussain∗ , Ahmad-Reza Sadeghi† , Thomas Schneider† , Farinaz Kous Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2015-05-11 16:43:20 Electronic engineering Digital electronics Electronics Electronic design automation Electronic design Logic in computer science Cryptographic protocols Garbled circuit Boolean circuit Sequential logic Logic synthesis Standard cell
475	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system
476	PLTW Launch Classroom Teacher The Role of the PLTW Launch Classroom Teacher PLTW Launch Classroom Teachers deliver PLTW Launch curriculum to kindergarten through fifth grade students. The classroom teachers represent a w Add to Reading List Source URL: www.pltw.org Language: English - Date: 2015-07-29 15:15:28 Education Learning Knowledge sharing Project Lead the Way Education policy Science technology engineering and mathematics Teacher Training Vince Bertram AP Computer Science Principles
477	Scalable Computing: Practice and Experience Scientific International Journal for Parallel and Distributed Computing ISSN: Add to Reading List Source URL: www.scpe.org Language: English - Date: 2016-08-02 01:58:21 Engineering Computing Theoretical computer science Product testing Systems engineering Workflow technology Model checkers PRISM model checker Model checking Workflow Markov chain Reliability engineering
478	Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: www0.cs.ucl.ac.uk Language: English - Date: 2012-09-10 07:41:01 Abstract interpretation Models of computation Parallel computing Petri net Software engineering Computing
479	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java

UPDATE